user input and type casting in python